Epistemic Logics for Multiple Agent

Although most research in plausible reasoning has focused on the single agent case, multiple agent nonmonotonic reasoning is a prerequisite for many commonsense reasoning problems. This paper explores the features that are essential to any multiple agent nonmono-tonic logic, such as explicit belief, inter-agent reasoning rules, and arrogance. We present MANML, an extension of Autoepistemic Logic to multiple agents and C EMAT, an extension of a circumscriptive theory of temporal reasoning to multiple agents. Next, we outline a method of extending C EMAT to a general multiple agent theory of circumscription. We discuss the connections between MANML and the extended version of C EMAT, and demonstrate that both theories can handle a wide variety of commonsense reasoning problems.